On generating n-sound nets with substitution
نویسندگان
چکیده
We present a method for hierarchically generating sound workflow nets by substitution of nets with multiple inputs and outputs. We show that this method is correct and generalizes the class of nets generated by other hierarchical approaches. The method involves a new notion of soundness which is preserved by the generalized type of substitution that is with the presented type of generalized substitution, since n-soundness is not preserved by it. It is moreover shown that it is in some sense the optimal notion of soundness for the purpose of generating sound nets by the presented type of substitution. & 2013 Elsevier Ltd. All rights reserved.
منابع مشابه
The impacts of anthropogenic sound on marine mammals in the Persian Gulf; current status and need for future research
Abstract Sound generating human activities so-called “anthropogenic sound” have increased ambient sound levels considerably in aquatic habitats that are markedly diverse in time and space. Sound generating human activities is now recognized as a potential driver of environmental changes in marine habitats. Iran has 750 km coastline along the Caspian Sea located in the north and around 2250 km ...
متن کاملNumerical study on the acoustic field of a centrifugal fan and the tonal noise sources
The widespread use of squirrel cage fans, especially in ventilation and home and industrial environments, has led to the formation of many research efforts to improve performance and reduce the sound produced by this type of fan. In the literature, the most important factor in generating sound in this category of fans is the confrontation between the rotor exit flow and the volute of the fan. I...
متن کاملDolphin-Inspired Target Detection for Sonar and Radar
Gas bubbles in the ocean are produced by breaking waves, rainfall, methane seeps, exsolution, and a range of biological processes including decomposition, photosynthesis, respiration and digestion. However one biological process that produces particularly dense clouds of large bubbles, is bubble netting. This is practiced by several species of cetacean. Given their propensity to use acoustics, ...
متن کاملExtending the Explicit Substitution Paradigm
We present a simple term language with explicit operators for erasure, duplication and substitution enjoying a sound and complete correspondence with the intuitionistic fragment of Linear Logic’s Proof Nets. We establish the good operational behaviour of the language by means of some fundamental properties such as confluence, preservation of strong normalisation, strong normalisation of well-ty...
متن کاملStudy of irritant effect of permethrin impregnated nets on pyrethroid resistant and susceptible genotypes of the mosquito anopheles stephensi
pyrethroid-impregnated bednets have been shown to be one of the most promising tools that have emerged in recent years to control malaria.mosquito may be physically irritated by pyrethroid reducing the time searching for blood meals,or driving them away.permethrin impregnated nets also may deter a proportion of mosquitoes from entering houses.irritant effect of nets treated with 200 mg and 500...
متن کامل